Tph2<flox> http://identifiers.org/mgd/MGI:5823172 targeted mutation 2.1, Massimo Pasqualetti Tph2<tm2.1Pasq> MGI:5823172 Conditional ready